大家在查： formal operational thinking formal rule formal synthesis formal system arrangement formal theory formal equivalence checking form in art form and structure form analysis form a partnership

Formal Methods

美英

n.形式化方法
网络形式方法；正规方法；正规化方法

Formal Methods

英-汉英-英网络释义

Formal Methods

形式化方法

而形式化方法(formal methods)提供了一种严格精确的数学方法,通常被用于软件设计阶段,分析系统的可靠性。因此,通过将UML …

形式方法

CS分支列表 -... ... Ø Design patterns（模式设计）、 Ø Formal methods（ 形式方法）、 Ø Object orientation（面向对象程序 …

正规方法

美国研究生EE & CE&nb... ... E-Commerce 电子商务 Formal Methods 正规方法 Human-Computer Interactio…

正规化方法

• 论证正规化方法 (Formal Methods) 在大型高安全软件工业领域中的实际应用。使用Z和 SPARK Ada 应用于英国最新空中交通 …

正式方法

而以方法而言，一般可以分为「正式方法」（formal methods）与「非

英特尔网络服务器技术

北邮招生网专... ... End user support 传统方法 Formal methods 英特尔网络服务器技术 Intemet Server Technology 电脑知识系 …

例句：

Formal methods of review are simply impractical to implement for 100% of your code (or any percent , some would argue).

对 100%的代码使用评审的规范方法（有人对这个百分比存在异议，简单来说是不现实的。

The formal methods of security protocol was categorized as two classes: the symbol approach , and the computational approach .

安全协议形式化分析方法分为两种，即符号方法和计算方法。

A protocol testing theory is presented based on formal methods .

利用形式化方法构建了协议测试理论。

Extensions to a Finite Model Generator and Application to Formal Methods

有限构模器的扩展及其在形式化方法中的应用

The Research of the Formal Methods for Security Protocol Verification

安全协议认证的形式化方法研究

Formal Methods Application : An Empirical Tale of Software Development

形式方法应用：软件开发的经验之谈

A Survey of Formal Methods of Software Component Representation and Retrieval

软件构件表示与检索形式化的研究与进展

Lectures on Formal Methods and Performance Analysis

形式方法与性能分析讲义

Formal methods for open object-based distributed systems

开放式基于对象分布式系统的正式方法

Status and Development of Formal Methods for Performance Evaluation

性能评价形式化方法的现状和发展

Formal Methods

Formal Methods

形式化方法

形式方法

正规方法

正规化方法

正式方法

英特尔网络服务器技术

热词推荐

大家在看